Types for Proofs and Programs: International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers (Lecture Notes ... Computer Science and General Issues)
by
ISBN 13: 9783540680840
Format: Paperback (203 pages) Publisher: Springer Published: 26 May 2008
Save for later
Frontiers of Fundamental Physics: Proceedings of the Sixth International Symposium "Frontiers of Fundamental and Computational Physics", Udine, Italy, 26-29 September 2004
ISBN 13: 9781402041518
Format: Hardcover (387 pages) Publisher: Springer Published: 24 Mar 2006
Foundations of Software Science and Computation Structures: 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences ... (Lecture Notes in Computer Science)
by Furio Honsell,Marino Miculan
ISBN 13: 9783540418641
Format: Paperback (432 pages) Publisher: Springer Published: 21 Mar 2001
by B. G. Sidharth,Furio Honsell,Alessandro De Angelis
ISBN 13: 9789400798533
Format: Paperback (400 pages) Publisher: Springer Published: 31 Mar 2014